Logic Programming Foundations of Cyber-Physical Systems
نویسنده
چکیده
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions through actuators. These controllers are discrete digital systems whose inputs are continuous physical quantities and whose outputs control physical (analog) devices. Thus, CPS involve both digital and analog data. In addition, CPS are assumed to run forever, and many CPS may run concurrently with each other. we will develop techniques for faithfully and elegantly modeling CPS. Our approach is based on using constraint logic programming over reals, co-induction, and coroutining.
منابع مشابه
Differential Equations via Temporal Logic and Infinitesimals 15-824 Foundations of Cyber-Physical Systems
We present a temporal logic for reasoning about differential equations which expresses differential behavior via a time domain with a nilpotent (specifically, nilsquare) infinitesimal, an element ε > 0 for which ε = 0. We define a language and axiomatic system as well as a semantics using the ring of dual numbers R[ε].
متن کاملTeaching Cyber-Physical Systems with Logic
This paper reports on a course breaking with the myth that cyber-physical systems are too challenging to be taught at the undergraduate level. Cyber-physical systems (CPSs) such as computer-controlled cars, airplanes or robots play an increasingly crucial role in our daily lives. They are systems that we bet our lives on, so they need to be safe. Getting CPSs safe, however, is an intellectual c...
متن کاملChallenges In Representing CPS Safety
This position paper describes the challenge of ensuring run-time safety in cyber-physical systems. The overarching problem is ensuring that computerbased systems will maintain safe operations even in the face of design-time and run-time faults. One way to address this problem is by creating an ability to perform run-time safety checks on CPS applications that can be used to record hazards, trig...
متن کاملTwenty Years of Rewriting Logic
Rewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality. This paper provides a gentle, intuitive introduction to its main ideas, as well as a survey of the work that many researchers have carried out over the last twenty years in advancing: (i) its foundations; (ii) its semantic framework and logical fram...
متن کاملSpecification of Railway Transportation Cyber Physical Systems Using Formal Approach
Transportation cyber physical systems such as automotive, aviation, and rail involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but added time and cost constraints make their development a significant technical challenge. Formal specification technologies are n...
متن کامل